Aider les apprenants d’anglais à utiliser les données phonétiques du dictionnaire : quels choix didactiques ?

Les types de données syntaxiques du système F

We give in this paper a purely syntactical definition of input and output types of system F . We define the syntactical data types as input and output types. We show that any type with positive quantifiers is a syntactical data type and that an input type is an output type. We give some restrictions on the ∀-elimination rule in order to prove that an output type is an input type. Mathematics Su...

Interrogation de données multimédia fondée sur les connaissances du domaine

In this paper, we present a domain knowledge based approach to retrieve multimedia data described by using the MPEG-7 standard. This standard is used since it provides tools to represent, in the same description, the structural and semantic aspects of the multimedia content. However, due to its XML schema based definition, MPEG-7 lacks ability to describe implicit information and to integrate d...

Les phosphatides du sérum sanguin

Sécurisation du Contrôle d'Accès dans les Bases de Données

Smartcards are themost secure portable computingdevice today.They have been used successfully in applicationsinvolving money, and proprietary and personal data (such asbanking, healthcare, insurance, etc.). As smartcards get morepowerful (with 32-bit CPU and more than 1MB of stablememory in the next versions) and become multi-application,the need for database management ...

Un navigateur pour les données liées du Web

Le Web de documents structurés qui repose sur le standard XML a rapidement été muni du standard XSLT pour engendrer des formats de présentation tels que HTML ou bien pour écrire des transformations de XML vers XML. De la même manière, le Web de données sémantiques qui repose sur le standard RDF a maintenant besoin d’un langage de transformation pour présenter les données RDF dans des formats li...